$|G| = p^2$ とする. このとき $p$-群の性質により $|Z(G)| = p^2$ となる. すなわち $G$ は可換である.
有限 Abel 群の基本定理により, 同型類の分類は直ちに完了する.
戻る